CONFERENCE PROGRAM BUSINESS INFORMATION SYSTEMS 2004 CONFERENCE PROGRAM

Source URL: archive.kie.ue.poznan.pl

• Jacek M. Zurada
• Information systems
• Education
• Academia
• Forschungszentrum Informatik
• Business school
• Ambient intelligence

Joint 10th Working IEEE/IFIP Conference on Software Architecture & 6th European Conference on Software Architecture WORKLOAD-AWARE SYSTEM MONITORING USING PERFORMANCE PREDICTIONS APPLIED TO A LARGE-SCALE E-MAIL SYSTEM

Source URL: wicsa2012.soberit.hut.fi

• Reliability engineering
• Systems engineering
• Systems science
• Forschungszentrum Informatik
• Science
• Prediction

MTSR 2014: 8th Metadata and Semantics Research Conference Wednesday, 26th November 2014 Venue: Karlsruhe University of Applied Sciences | Branch Offices Amalienstraße |Amalienstraße 81-87 | ground floor 14:00 – 15:00

Source URL: www.mtsr-conf.org

• Science
• Semantic Web
• Information science
• Ontology
• Rudi Studer
• Forschungszentrum Informatik
• Metadata
• Semantic MediaWiki
• Simple Knowledge Organization System
• Knowledge representation
• Information
• Technical communication

Certifiable Specification and Verification of C Programs Christoph Lüth and Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany [removed], [removed]

Source URL: www.informatik.uni-bremen.de

• Denotational semantics
• Logic in computer science
• Symbol
• Structure
• String
• Model theory
• Holomorphic functional calculus
• Orbifold
• Mathematics
• Theoretical computer science
• Mathematical logic

Experiences in Applying Formal Verification in Robotics? Dennis Walter, Holger Täubig, and Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany {Dennis.Walter,Holger.Taeubig,Christoph

Source URL: www.informatik.uni-bremen.de

• Formal methods
• Logic in computer science
• Linear algebra
• Formal verification
• Forcing
• Correctness
• Constructible universe
• Ordinal number
• Vector space
• Mathematics
• Algebra
• Theoretical computer science

Christoph Luth, Dennis Walter ¨ Deutsches Forschungszentrum fur Intelligenz, Bremen ¨ Kunstliche

Source URL: www.informatik.uni-bremen.de

• Bremen
• Verification and validation

Durchgehender Einsatz von formaler Modellierung und Beweis als Mittel zur Zertifizierung sicherheitsrelevanter Software Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen

Source URL: www.informatik.uni-bremen.de

SAMS1 Sicherheitskomponente für Autonome Mobile Serviceroboter Dr. Christoph Lüth, Dr. Udo Frese, Holger Täubig, Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Fachbereich Sichere Kognitive Sy

Source URL: www.informatik.uni-bremen.de

An Automatic Grasp Planning System for Service Robots∗ Zhixing Xue, Alexander Kasper, J. Marius Zoellner and Ruediger Dillmann Forschungszentrum Informatik Haid-und-Neu-Str[removed], 76137 Karlsruhe, Germany [removed]

Source URL: www.service-robotik-initiative.de

• Robotics
• Software design
• Robot kinematics
• Computer programming
• Computer vision
• GRASP
• Motion planning
• 3D scanner
• Pose
• Object-oriented programming
• Software engineering
• Computing

The Importance of Being Formal Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen Universität Bremen

Source URL: www.informatik.uni-bremen.de

• German Research Centre for Artificial Intelligence
• Computer science
• Mathematics
• Udo Frese
• Formal verification
• Applied mathematics